25.57/25.62	unsat
