23.05/23.23	unsat
