23.04/23.17	unsat
