31.34/33.49	unsat
