32.14/34.28	unsat
