31.88/35.32	unsat
