31.84/35.24	unsat
