30.14/30.72	unsat
