30.63/33.28	unsat
