23.24/23.33	unsat
