23.25/23.38	unsat
