25.25/25.72	unsat
