30.26/31.88	unsat
