31.76/31.90	unsat
