27.25/30.15	unsat
