18.70/30.18	unsat
