27.54/29.71	unsat
