23.24/23.31	unsat
