27.45/30.74	unsat
