28.92/29.09	unsat
