28.46/29.59	unsat
