25.45/25.62	unsat
