23.26/24.60	unsat
