27.26/30.20	unsat
