30.66/30.73	unsat
