28.61/28.75	unsat
