21.85/24.60	unsat
