31.63/33.56	unsat
