24.16/24.24	unsat
