27.43/30.74	unsat
