23.51/23.72	unsat
