25.09/25.78	unsat
