25.26/25.60	unsat
