31.51/33.51	unsat
