31.84/32.08	unsat
