19.53/22.75	unsat
