23.13/23.75	unsat
