31.09/33.67	unsat
