30.21/30.36	unsat
