23.25/24.00	unsat
