30.63/30.73	unsat
