22.17/24.00	unsat
