31.80/35.36	unsat
