30.24/33.49	unsat
