23.08/23.17	unsat
