23.09/23.17	unsat
