27.45/29.28	unsat
