19.53/19.62	unsat
