26.99/27.02	unsat
