30.04/30.72	unsat
