30.22/30.73	unsat
