31.78/34.24	unsat
