25.31/25.60	unsat
