30.79/33.43	unsat
