30.99/31.92	unsat
