31.55/33.77	unsat
