24.23/29.00	unsat
