31.52/33.43	unsat
