27.35/29.02	unsat
