27.33/27.74	unsat
