27.30/30.20	unsat
