30.36/30.44	unsat
