26.99/27.27	unsat
