27.04/30.87	unsat
