25.92/30.75	unsat
