24.24/24.60	unsat
