31.94/34.21	unsat
