23.07/23.18	unsat
