26.99/27.38	unsat
