25.07/25.97	unsat
