27.07/30.10	unsat
