19.23/24.23	unsat
