30.81/33.08	unsat
