29.46/29.75	unsat
