25.02/25.75	unsat
