21.53/23.75	unsat
