27.85/30.81	unsat
