23.18/23.20	unsat
